<?php
$page = $_SESSION['page'];
?>
